Optimal. Leaf size=188 \[ \frac {2}{729} \left (2-3 x^2\right )^{9/4}-\frac {16}{405} \left (2-3 x^2\right )^{5/4}+\frac {56}{81} \sqrt [4]{2-3 x^2}+\frac {8}{81} 2^{3/4} \log \left (\sqrt {2-3 x^2}-2^{3/4} \sqrt [4]{2-3 x^2}+\sqrt {2}\right )-\frac {8}{81} 2^{3/4} \log \left (\sqrt {2-3 x^2}+2^{3/4} \sqrt [4]{2-3 x^2}+\sqrt {2}\right )-\frac {16}{81} 2^{3/4} \tan ^{-1}\left (\sqrt [4]{4-6 x^2}+1\right )+\frac {16}{81} 2^{3/4} \tan ^{-1}\left (1-\sqrt [4]{2} \sqrt [4]{2-3 x^2}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.21, antiderivative size = 188, normalized size of antiderivative = 1.00, number of steps used = 20, number of rules used = 12, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {443, 261, 266, 43, 444, 63, 211, 1165, 628, 1162, 617, 204} \[ \frac {2}{729} \left (2-3 x^2\right )^{9/4}-\frac {16}{405} \left (2-3 x^2\right )^{5/4}+\frac {56}{81} \sqrt [4]{2-3 x^2}+\frac {8}{81} 2^{3/4} \log \left (\sqrt {2-3 x^2}-2^{3/4} \sqrt [4]{2-3 x^2}+\sqrt {2}\right )-\frac {8}{81} 2^{3/4} \log \left (\sqrt {2-3 x^2}+2^{3/4} \sqrt [4]{2-3 x^2}+\sqrt {2}\right )-\frac {16}{81} 2^{3/4} \tan ^{-1}\left (\sqrt [4]{4-6 x^2}+1\right )+\frac {16}{81} 2^{3/4} \tan ^{-1}\left (1-\sqrt [4]{2} \sqrt [4]{2-3 x^2}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 63
Rule 204
Rule 211
Rule 261
Rule 266
Rule 443
Rule 444
Rule 617
Rule 628
Rule 1162
Rule 1165
Rubi steps
\begin {align*} \int \frac {x^7}{\left (2-3 x^2\right )^{3/4} \left (4-3 x^2\right )} \, dx &=\int \left (-\frac {16 x}{27 \left (2-3 x^2\right )^{3/4}}-\frac {4 x^3}{9 \left (2-3 x^2\right )^{3/4}}-\frac {x^5}{3 \left (2-3 x^2\right )^{3/4}}+\frac {64 x}{27 \left (2-3 x^2\right )^{3/4} \left (4-3 x^2\right )}\right ) \, dx\\ &=-\left (\frac {1}{3} \int \frac {x^5}{\left (2-3 x^2\right )^{3/4}} \, dx\right )-\frac {4}{9} \int \frac {x^3}{\left (2-3 x^2\right )^{3/4}} \, dx-\frac {16}{27} \int \frac {x}{\left (2-3 x^2\right )^{3/4}} \, dx+\frac {64}{27} \int \frac {x}{\left (2-3 x^2\right )^{3/4} \left (4-3 x^2\right )} \, dx\\ &=\frac {32}{81} \sqrt [4]{2-3 x^2}-\frac {1}{6} \operatorname {Subst}\left (\int \frac {x^2}{(2-3 x)^{3/4}} \, dx,x,x^2\right )-\frac {2}{9} \operatorname {Subst}\left (\int \frac {x}{(2-3 x)^{3/4}} \, dx,x,x^2\right )+\frac {32}{27} \operatorname {Subst}\left (\int \frac {1}{(2-3 x)^{3/4} (4-3 x)} \, dx,x,x^2\right )\\ &=\frac {32}{81} \sqrt [4]{2-3 x^2}-\frac {1}{6} \operatorname {Subst}\left (\int \left (\frac {4}{9 (2-3 x)^{3/4}}-\frac {4}{9} \sqrt [4]{2-3 x}+\frac {1}{9} (2-3 x)^{5/4}\right ) \, dx,x,x^2\right )-\frac {2}{9} \operatorname {Subst}\left (\int \left (\frac {2}{3 (2-3 x)^{3/4}}-\frac {1}{3} \sqrt [4]{2-3 x}\right ) \, dx,x,x^2\right )-\frac {128}{81} \operatorname {Subst}\left (\int \frac {1}{2+x^4} \, dx,x,\sqrt [4]{2-3 x^2}\right )\\ &=\frac {56}{81} \sqrt [4]{2-3 x^2}-\frac {16}{405} \left (2-3 x^2\right )^{5/4}+\frac {2}{729} \left (2-3 x^2\right )^{9/4}-\frac {1}{81} \left (32 \sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {\sqrt {2}-x^2}{2+x^4} \, dx,x,\sqrt [4]{2-3 x^2}\right )-\frac {1}{81} \left (32 \sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {\sqrt {2}+x^2}{2+x^4} \, dx,x,\sqrt [4]{2-3 x^2}\right )\\ &=\frac {56}{81} \sqrt [4]{2-3 x^2}-\frac {16}{405} \left (2-3 x^2\right )^{5/4}+\frac {2}{729} \left (2-3 x^2\right )^{9/4}-\frac {1}{81} \left (16 \sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {2}-2^{3/4} x+x^2} \, dx,x,\sqrt [4]{2-3 x^2}\right )-\frac {1}{81} \left (16 \sqrt {2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {2}+2^{3/4} x+x^2} \, dx,x,\sqrt [4]{2-3 x^2}\right )+\frac {1}{81} \left (8\ 2^{3/4}\right ) \operatorname {Subst}\left (\int \frac {2^{3/4}+2 x}{-\sqrt {2}-2^{3/4} x-x^2} \, dx,x,\sqrt [4]{2-3 x^2}\right )+\frac {1}{81} \left (8\ 2^{3/4}\right ) \operatorname {Subst}\left (\int \frac {2^{3/4}-2 x}{-\sqrt {2}+2^{3/4} x-x^2} \, dx,x,\sqrt [4]{2-3 x^2}\right )\\ &=\frac {56}{81} \sqrt [4]{2-3 x^2}-\frac {16}{405} \left (2-3 x^2\right )^{5/4}+\frac {2}{729} \left (2-3 x^2\right )^{9/4}+\frac {8}{81} 2^{3/4} \log \left (\sqrt {2}-2^{3/4} \sqrt [4]{2-3 x^2}+\sqrt {2-3 x^2}\right )-\frac {8}{81} 2^{3/4} \log \left (\sqrt {2}+2^{3/4} \sqrt [4]{2-3 x^2}+\sqrt {2-3 x^2}\right )-\frac {1}{81} \left (16\ 2^{3/4}\right ) \operatorname {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\sqrt [4]{4-6 x^2}\right )+\frac {1}{81} \left (16\ 2^{3/4}\right ) \operatorname {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\sqrt [4]{4-6 x^2}\right )\\ &=\frac {56}{81} \sqrt [4]{2-3 x^2}-\frac {16}{405} \left (2-3 x^2\right )^{5/4}+\frac {2}{729} \left (2-3 x^2\right )^{9/4}-\frac {16}{81} 2^{3/4} \tan ^{-1}\left (1+\sqrt [4]{4-6 x^2}\right )+\frac {16}{81} 2^{3/4} \tan ^{-1}\left (1-\sqrt [4]{2} \sqrt [4]{2-3 x^2}\right )+\frac {8}{81} 2^{3/4} \log \left (\sqrt {2}-2^{3/4} \sqrt [4]{2-3 x^2}+\sqrt {2-3 x^2}\right )-\frac {8}{81} 2^{3/4} \log \left (\sqrt {2}+2^{3/4} \sqrt [4]{2-3 x^2}+\sqrt {2-3 x^2}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.11, size = 179, normalized size = 0.95 \[ \frac {2 \left (156 \sqrt [4]{2-3 x^2} x^2+1136 \sqrt [4]{2-3 x^2}+180\ 2^{3/4} \log \left (\sqrt {2-3 x^2}-2^{3/4} \sqrt [4]{2-3 x^2}+\sqrt {2}\right )-180\ 2^{3/4} \log \left (\sqrt {2-3 x^2}+2^{3/4} \sqrt [4]{2-3 x^2}+\sqrt {2}\right )+360\ 2^{3/4} \tan ^{-1}\left (1-\sqrt [4]{4-6 x^2}\right )-360\ 2^{3/4} \tan ^{-1}\left (\sqrt [4]{4-6 x^2}+1\right )+45 \sqrt [4]{2-3 x^2} x^4\right )}{3645} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.12, size = 198, normalized size = 1.05 \[ \frac {32}{81} \cdot 2^{\frac {3}{4}} \arctan \left (2^{\frac {1}{4}} \sqrt {2^{\frac {3}{4}} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} + \sqrt {2} + \sqrt {-3 \, x^{2} + 2}} - 2^{\frac {1}{4}} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} - 1\right ) + \frac {32}{81} \cdot 2^{\frac {3}{4}} \arctan \left (2^{\frac {1}{4}} \sqrt {-2^{\frac {3}{4}} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} + \sqrt {2} + \sqrt {-3 \, x^{2} + 2}} - 2^{\frac {1}{4}} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} + 1\right ) - \frac {8}{81} \cdot 2^{\frac {3}{4}} \log \left (2^{\frac {3}{4}} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} + \sqrt {2} + \sqrt {-3 \, x^{2} + 2}\right ) + \frac {8}{81} \cdot 2^{\frac {3}{4}} \log \left (-2^{\frac {3}{4}} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} + \sqrt {2} + \sqrt {-3 \, x^{2} + 2}\right ) + \frac {2}{3645} \, {\left (45 \, x^{4} + 156 \, x^{2} + 1136\right )} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.35, size = 160, normalized size = 0.85 \[ \frac {2}{729} \, {\left (3 \, x^{2} - 2\right )}^{2} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} - \frac {16}{81} \cdot 2^{\frac {3}{4}} \arctan \left (\frac {1}{2} \cdot 2^{\frac {1}{4}} {\left (2^{\frac {3}{4}} + 2 \, {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}}\right )}\right ) - \frac {16}{81} \cdot 2^{\frac {3}{4}} \arctan \left (-\frac {1}{2} \cdot 2^{\frac {1}{4}} {\left (2^{\frac {3}{4}} - 2 \, {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}}\right )}\right ) - \frac {8}{81} \cdot 2^{\frac {3}{4}} \log \left (2^{\frac {3}{4}} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} + \sqrt {2} + \sqrt {-3 \, x^{2} + 2}\right ) + \frac {8}{81} \cdot 2^{\frac {3}{4}} \log \left (-2^{\frac {3}{4}} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} + \sqrt {2} + \sqrt {-3 \, x^{2} + 2}\right ) - \frac {16}{405} \, {\left (-3 \, x^{2} + 2\right )}^{\frac {5}{4}} + \frac {56}{81} \, {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 2.97, size = 541, normalized size = 2.88 \[ -\frac {2 \left (45 x^{4}+156 x^{2}+1136\right ) \left (3 x^{2}-2\right )}{3645 \left (-3 x^{2}+2\right )^{\frac {3}{4}}}-\frac {\left (\frac {16 \RootOf \left (\textit {\_Z}^{2}+\RootOf \left (\textit {\_Z}^{4}+2\right )^{2}\right ) \ln \left (-\frac {27 x^{6}-18 \left (-27 x^{6}+54 x^{4}-36 x^{2}+8\right )^{\frac {1}{4}} x^{4} \RootOf \left (\textit {\_Z}^{2}+\RootOf \left (\textit {\_Z}^{4}+2\right )^{2}\right )-36 x^{4}-6 \sqrt {-27 x^{6}+54 x^{4}-36 x^{2}+8}\, x^{2} \RootOf \left (\textit {\_Z}^{4}+2\right )^{2}+24 \left (-27 x^{6}+54 x^{4}-36 x^{2}+8\right )^{\frac {1}{4}} x^{2} \RootOf \left (\textit {\_Z}^{2}+\RootOf \left (\textit {\_Z}^{4}+2\right )^{2}\right )+2 \left (-27 x^{6}+54 x^{4}-36 x^{2}+8\right )^{\frac {3}{4}} \RootOf \left (\textit {\_Z}^{2}+\RootOf \left (\textit {\_Z}^{4}+2\right )^{2}\right ) \RootOf \left (\textit {\_Z}^{4}+2\right )^{2}+12 x^{2}+4 \sqrt {-27 x^{6}+54 x^{4}-36 x^{2}+8}\, \RootOf \left (\textit {\_Z}^{4}+2\right )^{2}-8 \left (-27 x^{6}+54 x^{4}-36 x^{2}+8\right )^{\frac {1}{4}} \RootOf \left (\textit {\_Z}^{2}+\RootOf \left (\textit {\_Z}^{4}+2\right )^{2}\right )}{\left (3 x^{2}-4\right ) \left (3 x^{2}-2\right )^{2}}\right )}{81}+\frac {16 \RootOf \left (\textit {\_Z}^{4}+2\right ) \ln \left (\frac {-27 x^{6}+18 \left (-27 x^{6}+54 x^{4}-36 x^{2}+8\right )^{\frac {1}{4}} x^{4} \RootOf \left (\textit {\_Z}^{4}+2\right )+36 x^{4}-6 \sqrt {-27 x^{6}+54 x^{4}-36 x^{2}+8}\, x^{2} \RootOf \left (\textit {\_Z}^{4}+2\right )^{2}-24 \left (-27 x^{6}+54 x^{4}-36 x^{2}+8\right )^{\frac {1}{4}} x^{2} \RootOf \left (\textit {\_Z}^{4}+2\right )+2 \left (-27 x^{6}+54 x^{4}-36 x^{2}+8\right )^{\frac {3}{4}} \RootOf \left (\textit {\_Z}^{4}+2\right )^{3}-12 x^{2}+4 \sqrt {-27 x^{6}+54 x^{4}-36 x^{2}+8}\, \RootOf \left (\textit {\_Z}^{4}+2\right )^{2}+8 \left (-27 x^{6}+54 x^{4}-36 x^{2}+8\right )^{\frac {1}{4}} \RootOf \left (\textit {\_Z}^{4}+2\right )}{\left (3 x^{2}-4\right ) \left (3 x^{2}-2\right )^{2}}\right )}{81}\right ) \left (-\left (3 x^{2}-2\right )^{3}\right )^{\frac {1}{4}}}{\left (-3 x^{2}+2\right )^{\frac {3}{4}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 2.01, size = 151, normalized size = 0.80 \[ \frac {2}{729} \, {\left (-3 \, x^{2} + 2\right )}^{\frac {9}{4}} - \frac {16}{81} \cdot 2^{\frac {3}{4}} \arctan \left (\frac {1}{2} \cdot 2^{\frac {1}{4}} {\left (2^{\frac {3}{4}} + 2 \, {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}}\right )}\right ) - \frac {16}{81} \cdot 2^{\frac {3}{4}} \arctan \left (-\frac {1}{2} \cdot 2^{\frac {1}{4}} {\left (2^{\frac {3}{4}} - 2 \, {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}}\right )}\right ) - \frac {8}{81} \cdot 2^{\frac {3}{4}} \log \left (2^{\frac {3}{4}} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} + \sqrt {2} + \sqrt {-3 \, x^{2} + 2}\right ) + \frac {8}{81} \cdot 2^{\frac {3}{4}} \log \left (-2^{\frac {3}{4}} {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} + \sqrt {2} + \sqrt {-3 \, x^{2} + 2}\right ) - \frac {16}{405} \, {\left (-3 \, x^{2} + 2\right )}^{\frac {5}{4}} + \frac {56}{81} \, {\left (-3 \, x^{2} + 2\right )}^{\frac {1}{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.88, size = 82, normalized size = 0.44 \[ \frac {56\,{\left (2-3\,x^2\right )}^{1/4}}{81}-\frac {16\,{\left (2-3\,x^2\right )}^{5/4}}{405}+\frac {2\,{\left (2-3\,x^2\right )}^{9/4}}{729}+2^{3/4}\,\mathrm {atan}\left (2^{1/4}\,{\left (2-3\,x^2\right )}^{1/4}\,\left (\frac {1}{2}-\frac {1}{2}{}\mathrm {i}\right )\right )\,\left (-\frac {16}{81}-\frac {16}{81}{}\mathrm {i}\right )+2^{3/4}\,\mathrm {atan}\left (2^{1/4}\,{\left (2-3\,x^2\right )}^{1/4}\,\left (\frac {1}{2}+\frac {1}{2}{}\mathrm {i}\right )\right )\,\left (-\frac {16}{81}+\frac {16}{81}{}\mathrm {i}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ - \int \frac {x^{7}}{3 x^{2} \left (2 - 3 x^{2}\right )^{\frac {3}{4}} - 4 \left (2 - 3 x^{2}\right )^{\frac {3}{4}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________